/* --------------------------------------------------------
 * This function is needed for replace all the ASCII tad dued 
 * to the conversion on the browser of the page content.
 * 
 * I have choosen for a post-elaboration because in Javascript
 * we load less the server and a little bit the client.
 * -------------------------------------------------------- */

$('.snippet_class').each(function(){
    var $this = $(this);
    var t = $this.text();
    $this.html(t.replace('&lt','<').replace('&gt', '>'));		
});
